Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
41	GUARDED TRANSFORMATION FOR THE MODAL µ-CALCULUS FLORIAN BRUSE, OLIVER FRIEDMANN, AND MARTIN LANGE Abstract. Guarded normal form requires occurrences of fixpoint variables in a µ-calculus-formula to occur under the scop Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-05-03 12:27:57 Mathematical logic Metalogic Well-formed formula Conjunctive normal form Polynomial Parity Physics Formal languages Logical syntax
42	Theorem Proving in Lean Jeremy Avigad Leonardo de Moura Soonho Kong Version df39393, updated at:37: Add to Reading List Source URL: leanprover.github.io Language: English - Date: 2015-06-08 12:08:26 Formal systems Automated theorem proving Logical syntax Propositional calculus Mathematical proof Deduction theorem Theorem Proof assistant Axiom Logic Mathematics Mathematical logic
43	A Logic of Belief and Omission Hans van Ditmarsch∗ Department of Logic University of Sevilla Sevilla, Spain Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:13:55 Logical syntax Modal logic Philosophical logic Epistemic modal logic Constructible universe Proposition Doxastic logic Vacuous truth Function Logic Mathematical logic Propositional calculus
44	Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-04-24 05:03:43 Digital electronics Logic Models of computation Elementary mathematics Logical syntax Finite state transducer Flip-flop Function FO Mathematics Theoretical computer science Automata theory
45	EasyCrypt Reference Manual Version 1.x — Compiled on June 9, Tactics Add to Reading List Source URL: www.easycrypt.info Language: English - Date: 2015-06-09 06:17:55 Predicate logic Logical syntax Metalogic Generalization Well-formed formula Logic Rules of inference Mathematical logic
46	Release Notes for the GSS 2014 Merged Data, Release 1 May 29, 2015 About This Data File This data file has all cases and variables asked in GSSThere are a total of 3,842 cases in GSS 2014 but their initial samplin Add to Reading List Source URL: publicdata.norc.org Language: English - Date: 2015-05-29 16:07:16 Logical syntax Gender role Mathematics Variables Algebra
47	Comparison Geometry MSRI Publications Volume 30, 1997 Applications of Quasigeodesics and Gradient Curves Add to Reading List Source URL: library.msri.org Language: English - Date: 1998-06-23 18:39:54 Logical syntax Metalogic Philosophical logic Propositional calculus Geodesic Logic Deduction Entailment
48	dynGraph, the ins and outs Sending information from R to Java meets its limits in the case of large data sets: the process is much longer and the final window is not generated. dynGraph’s objective being a better visua Add to Reading List Source URL: dyngraph.free.fr Language: English - Date: 2010-06-01 19:09:05 Multivariate statistics Algebra Logical syntax Function Principal component analysis Mathematics Variables Elementary mathematics
49	Math inspired by Origami Prof. Sara Billey University of Washington Mathday March 24, 2014 Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2014-03-24 13:51:25 Paper folding Logical consequence Philosophical logic Theorems Origami Well-formed formula Pi Number Mathematics of paper folding Logic Mathematics Logical syntax
50	Predicting the Understandability of OWL Inferences Tu Anh T. Nguyen, Richard Power, Paul Piwek, Sandra Williams Department of Computing, The Open University, Milton Keynes, UK {t.nguyen,r.power,p.piwek,s.h.williams}@open Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Formal systems Reasoning Deduction Inference Entailment Formal proof Axiom Logic Logical consequence Logical syntax